fontchooser: Add user filtering
authorMatthias Clasen <mclasen@redhat.com>
Tue, 8 Sep 2020 23:51:12 +0000 (19:51 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 19 Sep 2020 14:13:36 +0000 (10:13 -0400)
commit09604eb3eb3928429cceeeb235eb4ff3a0bd5169
tree9d232013cc999b9d62dfd9b3a8c1da5d80bab3c5
parent0485a6c0087516f8a64c249b0d407fa6f8ef69ba
fontchooser: Add user filtering

Add a popover that has filtering options. As a start,
allow filtering by monospace and by language coverage.
gtk/gtkfontchooserwidget.c
gtk/ui/gtkfontchooserwidget.ui